1. FME'94 : industrial benefit of formal methods : Second International Symposium of Formal Methods Europe Barcelona, Spain, October 24 - 28, 1994, proceedings
پدیدآورنده : Maurice Naftalin, Tim Denvir, Miquet Bertran )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
873
2. Formal Aspects of Measurement :
پدیدآورنده : edited by Tim Denvir, Rosalind Herman, Robin W. Whitty.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Software engineering.
3. Introduction to Discrete Mathematics for Software Engineering
پدیدآورنده : Tim ,Denvir
کتابخانه: کتابخانه دانشکده مدیریت دانشگاه تهران (تهران)
موضوع : Electronic Data processing - Mathematics
4. Introduction to discrete mathematics for software engineering
پدیدآورنده : Tim Denvir
کتابخانه: کتابخانه موسسه ژئوفيزيك دانشگاه تهران (تهران)
موضوع : Electronic data processing--mathematics
رده :
QA
76
.
9
.
M35
5. Introduction to discrete mathematics for software engineering
پدیدآورنده : Denvir, Tim
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Electronic data processing mathematics
رده :
QA
76
.
9
.
M35
6. Introduction to discrete mathematics for software engineering
پدیدآورنده : Denvir, Tim
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Mathematics ، Electronic data processing,، Software engineering
رده :
QA
76
.
9
.
M35
D45
1986
7. Introduction to discrete mathematics for software engineering
پدیدآورنده : DENVIR,TIM
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : ELECTRONIC DATA PROCESSING-MATHEMATICS
رده :
QA
76
.
9
.
M35
D45
